Software verification

Results: 1531



#Item
31A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Add to Reading List

Source URL: faculty.nps.edu

Language: English - Date: 2008-05-06 17:12:31
    32Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

    Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: English - Date: 2016-09-18 10:59:58
      33Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

      Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

      Add to Reading List

      Source URL: xavierleroy.org

      Language: English - Date: 2018-08-01 14:49:25
        34Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain

        Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain

        Add to Reading List

        Source URL: refal.botik.ru

        - Date: 2017-03-14 08:43:59
          35Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

          Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

          Add to Reading List

          Source URL: refal.botik.ru

          - Date: 2017-03-12 03:19:31
            36Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

            Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2018-01-15 12:22:36
              37Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

              Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

              Add to Reading List

              Source URL: software.imdea.org

              - Date: 2018-02-20 03:41:12
                38Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

                Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

                Add to Reading List

                Source URL: www0.cs.ucl.ac.uk

                - Date: 2016-07-25 11:06:40
                  39Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo

                  Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo

                  Add to Reading List

                  Source URL: research.fb.com

                  - Date: 2016-11-03 21:22:10
                    40Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

                    Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

                    Add to Reading List

                    Source URL: research.microsoft.com

                    - Date: 2009-09-21 16:41:38